Issue3331.agda:5,38-38
Issue3331.agda:5,38: Repeated name in import directive: true
<EOF><ERROR>
...
